1. Formal methods for the design of real-time systems
پدیدآورنده : / Marco Bernardo, Flavio Corradini (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Real-time data processing--Congresses,Formal methods (Computer science)--Congresses,Computer systems--Congresses,Computer software--Congresses
رده :
QA
,
76
.
54
,.
I575
,
2004
2. Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
پدیدآورنده : Marco Bernardo, Flavio Corradini )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Real-time control,Congresses ، Real-time programming,Congresses ، Real-time data processing,Congresses ، Computer systems,Congresses ، Telecommunication systems
رده :
QA
76
.
L28
Vol
.
3185
